27 research outputs found
XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems
In this document, we introduce XCSP3-core, a subset of XCSP3 that allows us
to represent constraint satisfaction/optimization problems. The interest of
XCSP3-core is multiple: (i) focusing on the most popular frameworks (CSP and
COP) and constraints, (ii) facilitating the parsing process by means of
dedicated XCSP3-core parsers written in Java and C++ (using callback
functions), (iii) and defining a core format for comparisons (competitions) of
constraint solvers.Comment: arXiv admin note: substantial text overlap with arXiv:1611.0339
Extraction de noyaux insatisfiables minimaux de réseaux de contraintes
Nous nous intéressons au problème de l'extraction de noyaux insatisfiables minimaux (MUCs) de réseaux de contraintes. Ce problème a un intérêt pratique dans de nombreux domaines d'application tels que la configuration, la planification, le diagnostique, etc. En effet, identifier un ou plusieurs MUCs indépendants, i.e. des MUCs qui ne partagent aucune contrainte, permet d'isoler différentes sources d'inconsistance et de corriger un système incohérent. Dans cet article, nous proposons une approche originale pour extraire un MUC d'un réseau de contraintes. Cette approche comporte deux étapes. La première consiste à exécuter plusieurs fois un algorithme de recherche complète, en utilisant la pondération de contraintes, de manière à circonscrire une partie inconsistante du réseau. La seconde consiste à identifier, en utilisant un processus dichotomique, les contraintes de transition appartenant à un MUC. Nous montrons l'intérêt de cette approche en avançant des arguments théoriques et pratiques
Techniques de retour-arrière intelligent versus heuristiques dirigées par les conflits
National audienc